454766_1_En_2_PartFrontmatter

Source URL: link.springer.com

Could SFLASH be repaired ? Jintai Ding1 , Bo-Yin Yang2,4 , Chen-Mou Cheng3 , Owen Chen4 , and Vivien Dubois5 1 Dept. of Mathematics and Computer Sciences, University of Cincinnati 2

Source URL: precision.moscito.org

• Algebra
• Mathematics
• Polynomials
• Multivariate cryptography
• Multivariable calculus
• Linear algebra
• Matrices
• Function of several real variables
• Symmetry in mathematics
• Symmetric polynomial
• Trace
• Antisymmetric

An Abstract Domain of Uninterpreted Functions Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2

Source URL: jorgenavas.github.io

• Mathematics
• Theoretical computer science
• Logic
• Automated theorem proving
• Logic programming
• Complex analysis
• Logical truth
• Propositional calculus
• Substitution
• Abstract interpretation
• Unification
• Term

The Wonderful World of Global Random Oracles Jan Camenisch1 , Manu Drijvers1,2 , Tommaso Gagliardoni1 , Anja Lehmann1 , and Gregory Neven1 1 2

Source URL: eprint.iacr.org

• Cryptography
• Public-key cryptography
• Random oracle
• Commitment scheme
• Universal composability
• Optimal asymmetric encryption padding
• Digital signature
• Cryptographic hash function
• Advantage
• Oracle machine
• Cryptographic protocol
• Oracle Database

Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2

Source URL: seahorn.github.io

• Software engineering
• Programming language theory
• Computing
• Logic in computer science
• Horn clause
• Control flow
• ALGOL 68
• Formal methods
• Logic programming

Proof-producing reflection for HOL with an application to model polymorphism Benja Fallenstein1 and Ramana Kumar2 1 2

Source URL: cakeml.org

• Mathematical logic
• Metalogic
• Logic
• Model theory
• Type theory
• Proof assistants
• Proof theory
• Higher-order logic
• Theoretical computer science
• Isabelle
• Simply typed lambda calculus
• Gdel's incompleteness theorems

1 Impatient Online Matching 2

Source URL: www.tik.ee.ethz.ch

• Mathematical analysis
• Mathematics
• Computability theory
• Differential topology
• Mathematical logic
• Universal representation
• Symbol

Haptic SLAM: an ideal observer model for Bayesian inference of object shape and hand pose from contact dynamics Feryal M. P. Behbahani1 , Guillem Singla–Buxarrais2 and A. Aldo Faisal1,2,3 1

Source URL: spiral.imperial.ac.uk

• Humancomputer interaction
• Artificial intelligence
• Robot control
• Virtual reality
• Multimodal interaction
• Video game controllers
• Robot navigation
• Haptic technology
• Haptic perception
• Simultaneous localization and mapping
• Occupancy grid mapping
• Kalman filter

An Operational Semantics for JavaScript? Sergio Maffeis1 , John C. Mitchell2 , Ankur Taly2 , 1 2 Department of Computing, Imperial College London

Source URL: www.doc.ic.ac.uk

• Software engineering
• Computing
• Computer programming
• Functional languages
• High-level programming languages
• Object-oriented programming
• Data types
• Programming paradigms
• JavaScript
• Scope
• Operational semantics
• Semantics

Privacy & Security Toolkit 1/2 Privacy & Security Toolkit start

Source URL: mozilla.github.io

• Index of standards articles
• Standards
• Culture
• Four-square cipher